( function() {
    'use strict';
    var elem = document.createElement('script');
    
    elem.id = "prettyPrinter";
    elem.onload = function() {
        prettyPrint();
    }
    
    elem.src = "https://google-code-prettify.googlecode.com/svn/trunk/src/prettify.js";
    var body = document.getElementsByTagName('body')[0];
    body.appendChild(elem);
}() );
